n (set theory) The set that contains exactly those elements belonging to the universal set but not to a given set.